Henderikus Rudolphus Warmolts overlijden